In this paper I present a formalization of the theory of ideal concepts applied to the concept of God. It is done within a version of the Simplest Quantified Modal Logic (SQML) and attempts to solve three meta-problems related to the concept of God: the unicity of extension problem, the homogeneity/heterogeneity problem and the problem of conceptual unity.

This paper introduces the special issue on the Concept of God of the Journal of Applied Logics (College Publications). The issue contains the following articles: Logic and the Concept of God, by Stanisław Krajewski and Ricardo Silvestre; Mathematical Models in Theology. A Buber-inspired Model of God and its Application to “Shema Israel”, by Stanisław Krajewski; Gödel’s God-like Essence, by Talia Leven; A Logical Solution to the Paradox of the Stone, by Héctor Hernández Ortiz and Victor Cantero; No New Solutions to (...) the Logical Problem of the Trinity, by Beau Branson; What Means ‘Tri-’ in ‘Trinity’ ? An Eastern Patristic Approach to the ‘Quasi-Ordinals’, by Basil Lourié; The Éminence Grise of Christology: Porphyry’s Logical Teaching as a Cornerstone of Argumentation in Christological Debates of the Fifth and Sixth Centruies, by Anna Zhyrkova; The Problem of Universals in Late Patristic Theology, by Dirk Krasmüller; Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues, by Antonino Drago. (shrink)

The so-called theory of karma is one of the distinguishing aspects of Hinduism and other non-Hindu south-Asian traditions. At the same time that the theory can be seen as closely connected with the freedom of will and action that we humans supposedly have, it has many times been said to be determinist and fatalist. The purpose of this paper is to analyze in some deepness the relations that are between the theory of karma on one side and determinism, fatalism and (...) free-will on the other side. In order to do that, I shall use what has been described as the best formal approach we have to indeterminism: branching time theory. More specifically, I shall introduce a branching time semantic framework in which, among other things, statements such as “state of affairs e is a karmic effect of agent a”, “a wills it to be the case that e” and “e is inevitable” could be properly represented. (shrink)

In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I (...) start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God. (shrink)

The terms “model” and “model-building” have been used to characterize the field of formal philosophy, to evaluate philosophy’s and philosophical logic’s progress and to define philosophical logic itself. A model is an idealization, in the sense of being a deliberate simplification of something relatively complex in which several important aspects are left aside, but also in the sense of being a view too perfect or excellent, not found in reality, of this thing. Paraconsistent logic is a branch of philosophical logic. (...) It is however not clear how paraconsistent logic can be seen as model-building. What exactly is modeled? In this paper I adopt the perspective of looking at a particular instance of paraconsistent logic—paranormal modal logic—which might be seen as a model of a specific kind of agent: inductive agents. After ntroducing what I call the highlevel and low-level models of inductive agents, I analyze the extent to which the above-mentioned idealizing features of model-building appear in paranormal modal logic and how they affect its philosophical significance. (shrink)

Ao mesmo tempo que o malogro da assim chamada teoria clássica dos conceitos - de acordo com a qual definições são a maneira apropriada de caracterizar conceitos - é um consenso, a filosofia metafísica da religião parece ainda lidar com o conceito de Deus de forma predominantemente definicional. Podemos então nos perguntar: Seria esse malogro suficiente para inviabilizar uma caracterização definicional do conceito de Deus? Meu propósito central neste artigo é responder essa pergunta. Adoto uma ênfase representacional. Em outras palavras, (...) desejo analisar até que ponto os problemas mais importantes levantados contra a teoria clássica dos conceitos afetam uma abordagem definicional-representacional do conceito de Deus. Como resultado desse esforço, mostro que as críticas à teoria clássica que ameaçam tal abordagem dependem da pluralidade característica ao contexto inter-religioso, que por si só cria outros problemas. (shrink)

Our purpose in this paper is to contribute to the project of meta-theodicy, understood here as the elucidation of the concept of theodicy through the analysis of its adequacy. In our case, the analysis shall be made inside a framework including a taxonomical view of the theodical adequacy conditions which allows for a rigorously acceptable description of them as well as for a natural appraisal of the role, importance and intra-logical relations holding between them. The result of the analysis shall (...) be used to introduce definitions minimally precise of the notions of theodicy, satisfactory theodicy, plausible theodicy, ideal theodicy, and the like. (shrink)

This is the handbook of abstracts of the 1st World Congress on Logic and Religion, which took place in João Pessoa, Brazil, April 01-05, 2015. -/- .

Este livro se propõe a ser uma introdução fácil e acessível, porém rigorosa e tecnicamente precisa, à lógica. Prioridade é dada à clareza e lucidez na explicação das definições e teoremas, bem como à aplicação prática da lógica na análise de argumentos. O livro foi concebido de forma a permitir sua utilização por qualquer pessoa interessada em aprender lógica, independentemente de sua área de atuação ou bagagem teórica prévia. Em especial, ele deve ser útil a estudantes e professores de filosofia, (...) computação e matemática. (shrink)

This book analyses the concepts of God in Vaisnavism, which is commonly referred to as one of the great Hindu monotheistic traditions. Addressing the question of what attributes God possesses according to particular textual sources and traditions in Vaisnavism, the book analyses Vaisnava traditions and texts in order to locate them within a global philosophical framework. The book is divided into two sections. The first one, God in Vaisnava Texts, deals with concepts of God found in the canonical Vaisnava texts: (...) the Bhavagad Gita, the Bhagavata Purana, the Pancaratras, and the Mahabharata. The second section, God in Vaisnava Traditions, addresses concepts of God found in several Vaisnava traditions and their respective key theologians. As well as the Alvars, five traditional Vaisnava schools- the Sri Vaisnava tradition, the Madhva tradition, the Nimbarka tradition, the Pustimarga tradition, and the Caitanya Vaisnava tradition- and two contemporary ones Ramakrishna's and Swami Bhaktivedanta's are considered. The book combines normative, critical and descriptive elements. Some chapters are philosophical in nature, others are more descriptive, unpacking a specific Vaiṣṇava concept of God for future philosophical analysis and critique. Written by experts who break new ground in presenting and representing a diversity of Vaiṣṇava texts and tradition, the book presents approaches that reflect the amount of philosophical and historical deliberation on the specific issues and divine attributes considered. This book will be of interest to researchers in the fields of philosophy of religion and Indian philosophy, cross-cultural and comparative philosophy, analytic philosophy of religion, Hindu studies, theology and religious studies. (shrink)